//
// Copyright (C) [2024] Xingyun Integrated Circuit, Inc.
//
// GreenCode was a private technology asset of Xingyun Integrated Circuit， Inc （Confidential）
//  Author: Shawn.Tan
//  Date : 2025.10.28
//
//  History : Initial Version 2025.10.28
//
//
#include "ConstraintGPGPU.h"

#include <numeric>  // C++UP accumulate defined in numeric
#include <sstream>

#include "ConstraintUtils.h"
#include "GenException.h"
#include "Log.h"
#include "Random.h"
#include "StringUtils.h"
#include "UtilityFunctions.h"

using namespace std;

//#define DEBUG_CONSTRAINT_DELETE 1

namespace Green {

  void ConstraintSetGPGPU::SetWarpLimit(uint64 limit)
  {
    mWarpsLimit = limit;
  } // !< Set the Warptlimit for GPGPU

  uint64 ConstraintSetGPGPU::GetWarpLimit() const
  {
    return mWarpsLimit;
  }  // !< Set the Warptlimit for GPGPU


}
